Teaches readers to construct proofs and communicate with the precision necessary for working with abstraction. This book covers a range of techniques used in proofs, including contrapositive, induction, and proof by contradiction. It explains identification of techniques and how they are applied in [...]